Implementing model reduction to the JuliaFEM platform
نویسندگان
چکیده
منابع مشابه
Implementing the Evaluation Transformer Model of Reduction on Parallel Machines
The evaluation transformer model of reduction generalises lazy evaluation in two ways: it can start the evaluation of expressions before their rst use, and it can evaluate expressions further than weak head normal form. Moreover, the amount of evaluation required of an argument to a function may depend on the amount of evaluation required of the function application. It is a suitable candidate ...
متن کاملIs RSBY India's platform to implementing universal hospital insurance?
BACKGROUND & OBJECTIVES In 2008, India's Labour Ministry launched a hospital insurance scheme called Rashtriya Swasthya Bima Yojana (RSBY) covering 'Below Poverty Line' (BPL) households. RSBY is implemented through insurance companies; premiums are subsidized by Union and States governments (75 : 25%). We examined RSBY's enrolment of BPL, costs vs. budgets and policy ramifications. METHODS Nu...
متن کاملTowards a Reference Model for Implementing the Fractal Specifications for Java and the .NET Platform
So far, several implementations of the Fractal specifications have been proposed. These implementations propose frameworks for programming with Fractal in a target language (Java, C, Smalltalk, C++). The general principles of implementing the specifications are common to all these frameworks. However, as far as we know, no concrete piece of software or no common set of internal interfaces have ...
متن کاملImplementing -reduction by Hypergraph Rewriting
The aim of this paper is to implement the-reduction in the-calculus with a hypergraph rewriting mechanism called collapsed-tree rewriting. It turns out that collapsed-tree rewriting is sound with respect to-reduction and complete with respect to the Gross-Knuth strategy. As a consequence, there exists a normal form for a collapsed-tree if and only if there exists a normal form for the represent...
متن کاملImplementing a Cloud Platform for Autonomous Driving
Autonomous driving clouds provide essential services to support autonomous vehicles. Today these services include but not limited to distributed simulation tests for new algorithm deployment, offline deep learning model training, and High-Definition (HD) map generation. These services require infrastructure support including distributed computing, distributed storage, as well as heterogeneous c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Rakenteiden Mekaniikka
سال: 2018
ISSN: 1797-5301,0783-6104
DOI: 10.23998/rm.69026